@Override
public final Compound toCompound(Object name, List<?> args) {
return new Compound(toTerm(name), listTerm(args));
}
@Override
@Override
public final Compound toCompound(Object name, List<?> args) {
return new Compound((Term)toTerm(name), listTerm(args));
}
@Override